\begin{tabbing}
$\forall$$g$:IMonoid, $i$, $j$:$\mathbb{Z}$.
\\[0ex]($i$ $<$ $j$)
\\[0ex]$\Rightarrow$ \=($\forall$$E$:(\{$i$..$j$$^{-}$\}$\rightarrow\mid$$g$$\mid$).\+
\\[0ex]$\Pi$($\ast$,e) $i$ $\leq$ $k$ $<$ $j$. $E$($k$) = ($\Pi$($\ast$,e) $i$ $\leq$ $k$ $<$ $j$ {-} 1. $E$($k$) $\ast$ $E$($j$ {-} 1)) $\in$ $\mid$$g$$\mid$)
\-
\end{tabbing}